Optimal. Leaf size=480 \[ \frac {b c \left (a+b \tanh ^{-1}(c x)\right )}{\left (c^2 d^2-e^2\right ) (d+e x)}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}+\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1-c x}\right )}{2 e (c d+e)^2}+\frac {b^2 c^2 \log (1-c x)}{2 (c d-e) (c d+e)^2}-\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{2 (c d-e)^2 e}+\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}-\frac {b^2 c^2 \log (1+c x)}{2 (c d-e)^2 (c d+e)}+\frac {b^2 c^2 e \log (d+e x)}{(c d-e)^2 (c d+e)^2}-\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^2 \text {PolyLog}\left (2,1-\frac {2}{1-c x}\right )}{4 e (c d+e)^2}+\frac {b^2 c^2 \text {PolyLog}\left (2,1-\frac {2}{1+c x}\right )}{4 (c d-e)^2 e}-\frac {b^2 c^3 d \text {PolyLog}\left (2,1-\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^3 d \text {PolyLog}\left (2,1-\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.36, antiderivative size = 480, normalized size of antiderivative = 1.00, number of steps
used = 18, number of rules used = 10, integrand size = 18, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.556, Rules used = {6065, 6055,
2449, 2352, 6063, 720, 31, 647, 6057, 2497} \begin {gather*} \frac {2 b c^3 d \log \left (\frac {2}{c x+1}\right ) \left (a+b \tanh ^{-1}(c x)\right )}{(c d-e)^2 (c d+e)^2}-\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2 c (d+e x)}{(c x+1) (c d+e)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b c \left (a+b \tanh ^{-1}(c x)\right )}{\left (c^2 d^2-e^2\right ) (d+e x)}+\frac {b c^2 \log \left (\frac {2}{1-c x}\right ) \left (a+b \tanh ^{-1}(c x)\right )}{2 e (c d+e)^2}-\frac {b c^2 \log \left (\frac {2}{c x+1}\right ) \left (a+b \tanh ^{-1}(c x)\right )}{2 e (c d-e)^2}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}-\frac {b^2 c^3 d \text {Li}_2\left (1-\frac {2}{c x+1}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^3 d \text {Li}_2\left (1-\frac {2 c (d+e x)}{(c d+e) (c x+1)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^2 \text {Li}_2\left (1-\frac {2}{1-c x}\right )}{4 e (c d+e)^2}+\frac {b^2 c^2 \text {Li}_2\left (1-\frac {2}{c x+1}\right )}{4 e (c d-e)^2}+\frac {b^2 c^2 \log (1-c x)}{2 (c d-e) (c d+e)^2}-\frac {b^2 c^2 \log (c x+1)}{2 (c d-e)^2 (c d+e)}+\frac {b^2 c^2 e \log (d+e x)}{(c d-e)^2 (c d+e)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 31
Rule 647
Rule 720
Rule 2352
Rule 2449
Rule 2497
Rule 6055
Rule 6057
Rule 6063
Rule 6065
Rubi steps
\begin {align*} \int \frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{(d+e x)^3} \, dx &=-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}+\frac {(b c) \int \left (-\frac {c^2 \left (a+b \tanh ^{-1}(c x)\right )}{2 (c d+e)^2 (-1+c x)}+\frac {c^2 \left (a+b \tanh ^{-1}(c x)\right )}{2 (c d-e)^2 (1+c x)}+\frac {e^2 \left (a+b \tanh ^{-1}(c x)\right )}{(-c d+e) (c d+e) (d+e x)^2}-\frac {2 c^2 d e^2 \left (a+b \tanh ^{-1}(c x)\right )}{(c d-e)^2 (c d+e)^2 (d+e x)}\right ) \, dx}{e}\\ &=-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}+\frac {\left (b c^3\right ) \int \frac {a+b \tanh ^{-1}(c x)}{1+c x} \, dx}{2 (c d-e)^2 e}-\frac {\left (b c^3\right ) \int \frac {a+b \tanh ^{-1}(c x)}{-1+c x} \, dx}{2 e (c d+e)^2}-\frac {\left (2 b c^3 d e\right ) \int \frac {a+b \tanh ^{-1}(c x)}{d+e x} \, dx}{(c d-e)^2 (c d+e)^2}+\frac {(b c e) \int \frac {a+b \tanh ^{-1}(c x)}{(d+e x)^2} \, dx}{(-c d+e) (c d+e)}\\ &=\frac {b c \left (a+b \tanh ^{-1}(c x)\right )}{(c d-e) (c d+e) (d+e x)}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}+\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1-c x}\right )}{2 e (c d+e)^2}-\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{2 (c d-e)^2 e}+\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}-\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {\left (b^2 c^3\right ) \int \frac {\log \left (\frac {2}{1+c x}\right )}{1-c^2 x^2} \, dx}{2 (c d-e)^2 e}-\frac {\left (2 b^2 c^4 d\right ) \int \frac {\log \left (\frac {2}{1+c x}\right )}{1-c^2 x^2} \, dx}{(c d-e)^2 (c d+e)^2}+\frac {\left (2 b^2 c^4 d\right ) \int \frac {\log \left (\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{1-c^2 x^2} \, dx}{(c d-e)^2 (c d+e)^2}-\frac {\left (b^2 c^3\right ) \int \frac {\log \left (\frac {2}{1-c x}\right )}{1-c^2 x^2} \, dx}{2 e (c d+e)^2}+\frac {\left (b^2 c^2\right ) \int \frac {1}{(d+e x) \left (1-c^2 x^2\right )} \, dx}{(-c d+e) (c d+e)}\\ &=\frac {b c \left (a+b \tanh ^{-1}(c x)\right )}{(c d-e) (c d+e) (d+e x)}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}+\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1-c x}\right )}{2 e (c d+e)^2}-\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{2 (c d-e)^2 e}+\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}-\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^3 d \text {Li}_2\left (1-\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {\left (b^2 c^2\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c x}\right )}{2 (c d-e)^2 e}+\frac {\left (b^2 c^2\right ) \int \frac {-c^2 d+c^2 e x}{1-c^2 x^2} \, dx}{(c d-e)^2 (c d+e)^2}-\frac {\left (2 b^2 c^3 d\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}+\frac {\left (b^2 c^2\right ) \text {Subst}\left (\int \frac {\log (2 x)}{1-2 x} \, dx,x,\frac {1}{1-c x}\right )}{2 e (c d+e)^2}+\frac {\left (b^2 c^2 e^2\right ) \int \frac {1}{d+e x} \, dx}{(c d-e)^2 (c d+e)^2}\\ &=\frac {b c \left (a+b \tanh ^{-1}(c x)\right )}{(c d-e) (c d+e) (d+e x)}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}+\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1-c x}\right )}{2 e (c d+e)^2}-\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{2 (c d-e)^2 e}+\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^2 e \log (d+e x)}{(c d-e)^2 (c d+e)^2}-\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^2 \text {Li}_2\left (1-\frac {2}{1-c x}\right )}{4 e (c d+e)^2}+\frac {b^2 c^2 \text {Li}_2\left (1-\frac {2}{1+c x}\right )}{4 (c d-e)^2 e}-\frac {b^2 c^3 d \text {Li}_2\left (1-\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^3 d \text {Li}_2\left (1-\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}-\frac {\left (b^2 c^4\right ) \int \frac {1}{c-c^2 x} \, dx}{2 (c d-e) (c d+e)^2}+\frac {\left (b^2 c^4\right ) \int \frac {1}{-c-c^2 x} \, dx}{2 (c d-e)^2 (c d+e)}\\ &=\frac {b c \left (a+b \tanh ^{-1}(c x)\right )}{(c d-e) (c d+e) (d+e x)}-\frac {\left (a+b \tanh ^{-1}(c x)\right )^2}{2 e (d+e x)^2}+\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1-c x}\right )}{2 e (c d+e)^2}+\frac {b^2 c^2 \log (1-c x)}{2 (c d-e) (c d+e)^2}-\frac {b c^2 \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{2 (c d-e)^2 e}+\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}-\frac {b^2 c^2 \log (1+c x)}{2 (c d-e)^2 (c d+e)}+\frac {b^2 c^2 e \log (d+e x)}{(c d-e)^2 (c d+e)^2}-\frac {2 b c^3 d \left (a+b \tanh ^{-1}(c x)\right ) \log \left (\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^2 \text {Li}_2\left (1-\frac {2}{1-c x}\right )}{4 e (c d+e)^2}+\frac {b^2 c^2 \text {Li}_2\left (1-\frac {2}{1+c x}\right )}{4 (c d-e)^2 e}-\frac {b^2 c^3 d \text {Li}_2\left (1-\frac {2}{1+c x}\right )}{(c d-e)^2 (c d+e)^2}+\frac {b^2 c^3 d \text {Li}_2\left (1-\frac {2 c (d+e x)}{(c d+e) (1+c x)}\right )}{(c d-e)^2 (c d+e)^2}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains complex when optimal does not.
time = 6.00, size = 470, normalized size = 0.98 \begin {gather*} -\frac {a^2}{2 e (d+e x)^2}-\frac {a b c^2 \left (\frac {2 \tanh ^{-1}(c x)}{(c d+c e x)^2}+\frac {\log (1-c x)}{(c d+e)^2}+\frac {-\log (1+c x)+\frac {2 e \left (-c^2 d^2+e^2+2 c^2 d (d+e x) \log (c (d+e x))\right )}{c (c d+e)^2 (d+e x)}}{(-c d+e)^2}\right )}{2 e}+\frac {b^2 c^2 \left (-\frac {2 e^{-\tanh ^{-1}\left (\frac {c d}{e}\right )} \tanh ^{-1}(c x)^2}{\sqrt {1-\frac {c^2 d^2}{e^2}} e}-\frac {e \left (-1+c^2 x^2\right ) \tanh ^{-1}(c x)^2}{c^2 (d+e x)^2}+\frac {2 x \tanh ^{-1}(c x) \left (-e+c d \tanh ^{-1}(c x)\right )}{c d (d+e x)}+\frac {2 e \left (-e \tanh ^{-1}(c x)+c d \log \left (\frac {c (d+e x)}{\sqrt {1-c^2 x^2}}\right )\right )}{c^3 d^3-c d e^2}+\frac {2 c d \left (i \pi \log \left (1+e^{2 \tanh ^{-1}(c x)}\right )-2 \tanh ^{-1}(c x) \log \left (1-e^{-2 \left (\tanh ^{-1}\left (\frac {c d}{e}\right )+\tanh ^{-1}(c x)\right )}\right )-i \pi \left (\tanh ^{-1}(c x)-\frac {1}{2} \log \left (1-c^2 x^2\right )\right )-2 \tanh ^{-1}\left (\frac {c d}{e}\right ) \left (\tanh ^{-1}(c x)+\log \left (1-e^{-2 \left (\tanh ^{-1}\left (\frac {c d}{e}\right )+\tanh ^{-1}(c x)\right )}\right )-\log \left (i \sinh \left (\tanh ^{-1}\left (\frac {c d}{e}\right )+\tanh ^{-1}(c x)\right )\right )\right )+\text {PolyLog}\left (2,e^{-2 \left (\tanh ^{-1}\left (\frac {c d}{e}\right )+\tanh ^{-1}(c x)\right )}\right )\right )}{c^2 d^2-e^2}\right )}{2 (c d-e) (c d+e)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A]
time = 1.36, size = 828, normalized size = 1.72 Too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\left (a + b \operatorname {atanh}{\left (c x \right )}\right )^{2}}{\left (d + e x\right )^{3}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,\mathrm {atanh}\left (c\,x\right )\right )}^2}{{\left (d+e\,x\right )}^3} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________